- 双语例句 更多例句
1、
模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。
互联网摘选
- 相关词组
- river system pattern河系型式
- high-speed data acquisition system高速数据采集系统
- weapon system stock control point武器系统库存控制站
- high repetition laser illuminating system高重复率激光照明系统
- modern apprentice system现代学徒制
- hydrogen detection system氢控测系统
- unknown state未知状态;
- get petty advantages at the expense of other people or the state揩油
- import license system进口许可证制
- single-electrode system单电极系统
- initial excitation system response励磁系统初始响应
- suspend state挂起状态
- theory of dynamic system动力系统理论
- import licence system进口许可证制
- speed governing system调速系统
- null-recurrent state零常返状态
- speed servo system调速随动系统
- feudal system of land-holding分封制
- back up system后援系统;
- show system filesv.显示系统文件
- 今日热词
- 热门搜索
- cup n.杯子;一杯（的量）;（胸罩的）罩杯;优胜杯;vt.使（手）窝成杯状;使（双手）成圆状托起;为…拔火罐;
- hard adj.困难的;硬的;有力的;努力的;adv.努力地;猛力地;严重地;沉重地;
- relation n.关系，联系;亲戚;
- squirrel n.松鼠;
- YP abbr.黄页(yellow pages);屈折点(Yield Point)
- motion control 运动控制;
- luggage n.行李;
- america n. 美洲;美国;[电影]亚美利加;
- Africa n.非洲;adj.非洲的;
- by the time 到…时候为止;等到;比及;
- also known as 亦称为；别名
- bakery n.面包店;面包烘房;
湘公网安备43011202000971号